Grundstudium
Computeralgebra
Formale Sprachen
Graphisch-Interaktive Systeme
Informatik & Gesellschaft
Informationssysteme und
Datenbanken
Mathematische
Logik Logik und Sprachtheorie
Paralleles Rechnen
Programmiersprachen und Übersetzer
Rechnerarchitektur
Symbolisches Rechnen
Technische Informatik
Textwissenschaft
Zentrum für Datenverarbeitung
Fachschaft
Technische Informatik II
Informatik II
Proseminar: Algorithmische Schmankerln
Proseminar: Objektorientierung Analyse,
Design und Programmierung
Proseminar: Künstliche Intelligenz
Proseminar: Grundlagen der Computer Graphik
Proseminar: Datenstrukturen und Netzwerkalgorithmen
Basispraktikum: Technische Informatik
Formale Sprachen
Randomisierte Algorithmen
Kolmogorov-Komplexität
Kryptologie und Komplexität
Seminar: Fundamentale Arbeiten aus den Anfängen
der Theoretischen Informatik
Graphische Datenverarbeitung II
Geometrische Modellierung II
Bildverarbeitung
Seminar: Maschinelles Lernen in der Mustererkennung
Seminar: 3D-Photographie
Seminar: Computer Graphik
Praktikum: Generating a worldwideweb graphics course
Praktikum: "Make Your Movie"
Kolloquium Computer Graphik
Einführung in das Recht
Seminar: Informatiker im Beruf - Informatik als
Beruf
Seminar: Ethik der Informatik
Seminar: Informatik und Gesellschaft
Datenstrukturen
Datenbanksysteme II
Seminar: Verteilte Datenbanken
Datenbankpraktikum
Negation in der Logikprogrammierung
Lambda-Kalkül und kombinatorische Logik
Logik für Informatiker II: Beweistheorie
Kolloquium Logik und Sprachtheorie
Algorithmen und Komplexität I
Oberseminar Effiziente Algorithmen
Software-Technik
Programmierung im Internet
Grundlagen der funktionalen Programmierung
Seminar: TypInferenz
Oberseminar Programmierung
Genetische Algorithmen und Evolutionsstrategien
Neuronale Netze
Robotik II
Seminar: Artificial Life
Seminar: Multimediale Anwendungen im Internet
Praktikum: Mobile Roboter
Verteilte Betriebssysteme (Betriebssysteme II)
Höhere objekt-orientierte Programmierkonzepte
Seminar: Formale Methoden der Hardware-Verifikation
Diplomandenseminar: Höhere objekt-orientierte
Programmierkonzepte
Rechnerarchitekturen II
Client/Server-Systeme II
Automatisierungstechnik, Prozeßrechner, Echtzeitsysteme
I
Entwurfsmethodik für VLSI-Schaltungen II
Seminar: Entwurf von Schaltungen für Hochgeschwindigkeitsnetze
Praktikum "Embedded Systems"
Diplomanden und Doktorandenseminar
Anforderungsprofil für Textretrieval Software